#include "init.h"
#include "comm/boot_info.h"

void kernel_init (boot_info_t * boot_info) {
    
}